代数逻辑;
It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.
其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。
微语录 · 生活常识
微语录 · 伤感句子
微语录 · 爱情句子
微语录 · 句子大全
微语录 · 个性签名
微语录 · 十万个为什么